Nuprl Definition : updates_of
13,45
postcript
pdf
updates(
L
) == filter(
e
.
isupdate
(
In
(
e
));
L
)
latex
clarification:
updates_of(
In
;
isupdate
;
L
) == filter(
e
.
isupdate
(
In
(
e
));
L
)
latex
Up
abstract chain replication
Wellformedness Lemmas
updates
of
wf
Definitions
filter(
P
;
l
)
,
x
.
A
(
x
)
,
f
(
a
)
,
X
(
e
)
FDL editor aliases
updates_of
origin
e.isupdate(In(e));L)
e.isupdate(In(e));L) e.isupdate(In(e));L)
e.isupdate(In(e));L) x.A(x)